IEEE Transactions on Software Engineering

Results: 130



#Item
51Jae young Bang Computer Science Department, Viterbi School of Engineering, University of Southern California, Los Angeles, CA 90089

Jae young Bang Computer Science Department, Viterbi School of Engineering, University of Southern California, Los Angeles, CA 90089

Add to Reading List

Source URL: ronia.net

Language: English - Date: 2015-04-20 12:00:26
52IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 36, NO. 4,

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 36, NO. 4,

Add to Reading List

Source URL: welf.se

Language: English - Date: 2013-04-23 05:51:24
53IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. XX, NO. Y, YEAR 100 Inference of Message Sequence Charts Rajeev Alur, Kousha Etessami, Mihalis Yannakakis

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. XX, NO. Y, YEAR 100 Inference of Message Sequence Charts Rajeev Alur, Kousha Etessami, Mihalis Yannakakis

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2006-06-22 11:47:16
54IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOL. 1, NO. 1,

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOL. 1, NO. 1,

Add to Reading List

Source URL: www.landwehr.org

Language: English - Date: 2014-08-18 19:01:34
55Bibliography [1] M Abadi, ‘‘Explicit Communications Revisited: Two New Attacks on Authentication Protocols’’, in IEEE Transactions on Software Engineering v 23 no 3 (Mar 97) pp 185–M Abadi, RM Needham,

Bibliography [1] M Abadi, ‘‘Explicit Communications Revisited: Two New Attacks on Authentication Protocols’’, in IEEE Transactions on Software Engineering v 23 no 3 (Mar 97) pp 185–M Abadi, RM Needham,

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2008-04-27 10:00:47
56IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2008-06-15 00:09:46
57IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 33, NO. 10,

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 33, NO. 10,

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2007-09-17 06:15:25
58IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 24, NO. 10, OCTOBERDistributed Feature Composition: A Virtual Architecture for Telecommunications Services

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 24, NO. 10, OCTOBERDistributed Feature Composition: A Virtual Architecture for Telecommunications Services

Add to Reading List

Source URL: mcs.open.ac.uk

Language: English - Date: 2002-11-29 12:41:32
59IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 51, NO. 2, FEBRUARYSpectral Efficiency of Multicarrier CDMA Antonia M. Tulino, Member, IEEE, Linbo Li, and Sergio Verdú, Fellow, IEEE

IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 51, NO. 2, FEBRUARYSpectral Efficiency of Multicarrier CDMA Antonia M. Tulino, Member, IEEE, Linbo Li, and Sergio Verdú, Fellow, IEEE

Add to Reading List

Source URL: www.princeton.edu

Language: English - Date: 2005-02-04 18:44:11
60 Design, Architecture & Embedded Software Division Leti is an institute of CEA, a French research-and-technology organization with activities in energy, IT, healthcare, defense and security. By creating innovation and tr

Design, Architecture & Embedded Software Division Leti is an institute of CEA, a French research-and-technology organization with activities in energy, IT, healthcare, defense and security. By creating innovation and tr

Add to Reading List

Source URL: www.leti.fr

Language: English - Date: 2014-06-12 05:19:12